punch-type cutter - German English Dictionary